Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Docs] Non-Breaking change of "p4c" to "P4C" #4620

Merged
merged 6 commits into from
Apr 17, 2024

Conversation

AdarshRawat1
Copy link
Member

@AdarshRawat1 AdarshRawat1 commented Apr 15, 2024

Fixes

Changes

Refactor : Current Compiler Acronym i.e. p4c to P4C in Documentation

This PR only focuses on the Documentation text.
Without modifying any link, command, directory name and "p4c" Repository name .

This Commit only focuses on the Documentation text, Without modifying any command or directory name.
@AdarshRawat1 AdarshRawat1 marked this pull request as ready for review April 15, 2024 07:10
@fruffy fruffy added the documentation Topics related to compiler documentation. label Apr 15, 2024
README.md Outdated Show resolved Hide resolved
README.md Outdated Show resolved Hide resolved
README.md Outdated Show resolved Hide resolved
README.md Outdated Show resolved Hide resolved
docs/README.md Outdated Show resolved Hide resolved
docs/README.md Outdated Show resolved Hide resolved
docs/README.md Outdated Show resolved Hide resolved
@fruffy fruffy added this pull request to the merge queue Apr 17, 2024
@fruffy fruffy removed this pull request from the merge queue due to a manual request Apr 17, 2024
@fruffy
Copy link
Collaborator

fruffy commented Apr 17, 2024

Is this ready to be merged?

@fruffy fruffy linked an issue Apr 17, 2024 that may be closed by this pull request
@fruffy fruffy added this pull request to the merge queue Apr 17, 2024
@fruffy fruffy removed this pull request from the merge queue due to a manual request Apr 17, 2024
@AdarshRawat1
Copy link
Member Author

According to me it is ready, rest of the sitings are directory name and links.

@AdarshRawat1
Copy link
Member Author

AdarshRawat1 commented Apr 17, 2024

Are we planning to capitalise the repository name in near future?

@fruffy
Copy link
Collaborator

fruffy commented Apr 17, 2024

According to me it is ready, rest of the sitings are directory name and links.

I was asking because you left

Work in progress 🚧🚀

in the description.

Are we planning to capitalise the repository name in near future?

No, that will stay lower case.

@AdarshRawat1
Copy link
Member Author

AdarshRawat1 commented Apr 17, 2024

I was asking because you left

Work in progress 🚧🚀

in the description.

I had doubts if the repository name will change or not. Since it won't change, this PR is ready to go. [Description Updated]

@fruffy fruffy enabled auto-merge April 17, 2024 18:07
@fruffy fruffy added this pull request to the merge queue Apr 17, 2024
Merged via the queue into p4lang:main with commit fda9f10 Apr 17, 2024
17 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Topics related to compiler documentation.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Acronym capitalization: P4C vs p4c
2 participants